41. Arithmetic and logic in computer systems
Author: Lu, Mi
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer arithmetic,، Logic programming
Classification :
QA
76
.
9
.
C62L8
42. Arithmetic and logic in computer systems
Author: Mi Lu
Library: Vali Asr University Central Library (Kerman)
Subject: Computer arithmetic,Logic programming
Classification :
QA
76
.
9
.
C62
,
L8
2004
43. Arithmetic and logic in computer systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer arithmetic. ; Logic programming. ;
44. Artificial intelligence in simulation
Author: FUTO,IVAN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
Classification :
Q
335
.
F87
45. Automated deduction - A Basis for applications
Author: edited by wolfgang Bibel, Peter H. Schmitt
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic programming,، Logic )mathematics(
Classification :
QA
76
.
63
.
A8
L6
46. Based Program Synthesis and Transformation :-Logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming ; Congresses. ;
47. CSL'87 lst workshop on computer science logic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
Classification :
QA
76
.
6
.
W6
1987
48. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Author: / Edited by C. Bohm
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
Classification :
QA
905
.
L35
49. Computational Logic in Multi-Agent Systems
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
Classification :
E-Book
,
50. Computational intelligence for modelling, control & automation : intelligent image processing, data analysis & information retrieval
Author: edited by Masoud Mohammadian
Library: Central Library and Documentation Center (Kerman)
Subject: ، Evolutionary programming )Computer science(,، Fuzzy logic,، Automatic control,، Computational intelligence
Classification :
QA
7609
.
C6
1999
51. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
Author: Antonis C. Kakas, Fariba Sadri )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
Classification :
QA
76
.
L28
Vol
.
2407-2408
52. Computing in Horn Clause theories
Author: Padawitz, Peter, 3591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Horn clauses
Classification :
QA
76
.
6
.
P327
1988
53. Computing in Horn clause theories
Author: Padawitz, Peter
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Horn clauses
Classification :
QA
76
.
6
.
P32
1988
54. Computing with logic : logic programming with Prolog
پدیدآورنده : Maier, David
موضوع : ، Prolog )Computer program language(,، Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
55. Conceptual graphs and fuzzy logic
Author: Tru Hoang Cao,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Fuzzy graphs,Conceptual structures )Information theory(,Fuzzy logic,Logic programming,Computational intelligence,Begriffsgraph^aswd,Fuzzy-logisches Schliessen^aswd,Nateurliche Sprache^aswd,Ontologie ^aswd
Classification :
QA
.
C35
166
.
175
2010
56. Conceptual graphs and fuzzy logic : a fusion for representing and reasoning with linguistic information
Author: Tru Hoang Cao
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Fuzzy graphs,، Conceptual structures )Information theory(,، Fuzzy logic,، Logic programming,، Computational intelligence
Classification :
QA
166
.
175
.
C37C6
57. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
Author: Harry S. Delugach, Gerd Stumme, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
Classification :
QA
76
.
L28
Vol
.
2120
58. Conclog : a methodological approach to concurrent logic programming
Author: Jacquet, Jean-Marie
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
L28
Vol
.
556
59. Constraint Solving and Language Processing
Author: edited by Denys Duchier, Yannick Parmentier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
60. Constraint satisfaction in logic programming
Author: / Pascal Van Hentenryck,Van Hentenryck
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic programming
Classification :
QA
76
.
6
.
V347
1989
